ccsucc-num(x) == chain_config_ind(x;;;id.;id,num.num) 

latex

Definitions	chain_config_ind(x;head;tail;id.pred(id);id,num.succ(id;num)),
FDL editor aliases	ccsucc-num